The Benes Network is q*(q-1)/2n-Almost q-set-wise Independent
نویسندگان
چکیده
A switching network of depth d is a layered graph with d layers and n vertices in each layer. The edges of the switching network do not cross between layers and in each layer the edges form a partial matching. A switching network defines a stochastic process over Sn that starts with the identity permutation and goes through the layers of the network from first to last, where for each layer and each pair (i, j) in the partial matching of the layer, it applies the transposition (ij) with probability half. A switching network is good if the final distribution is close to the uniform distribution over Sn. A switching network is ε-almost q-permutation-wise independent if its action on any ordered set of size q is almost uniform, and is ε-almost q-set-wise independent if its action on any set of size q is almost uniform. Mixing of switching networks (even for q-permutation-wise and q-set-wise independence) has found several applications, mostly in cryptography. Some applications further require some additional properties from the network, e. g., the existence of an algorithm that given a permutation can set the switches such that the network generates the given permutation, a property that the Benes network has. Morris, Rogaway and Stegers showed the Thorp shuffle (which corresponds to applying two or more butterflies one after the other) is q-permutation-wise independent, for q = n for γ that depends on the number of sequential applications of the butterfly network. The techniques applied by Morris et al. do not seem to apply for the Benes network. In this work we show the Benes network is almost q-set-wise independent for q up to about √ n. Our technique is simple and completely new, and we believe carries hope for getting even better results in the future. 1998 ACM Subject Classification C.2 Computer-communication Networks
منابع مشابه
Eigenvalues of the Cayley Graph of Some Groups with respect to a Normal Subset
Set X = { M11, M12, M22, M23, M24, Zn, T4n, SD8n, Sz(q), G2(q), V8n}, where M11, M12, M22, M23, M24 are Mathieu groups and Zn, T4n, SD8n, Sz(q), G2(q) and V8n denote the cyclic, dicyclic, semi-dihedral, Suzuki, Ree and a group of order 8n presented by V8n = < a, b | a^{2n} = b^{4} = e, aba = b^{-1}, ab^{...
متن کاملOptimizing plant traits to increase yield quality and quantity in tobacco using artificial neural network
There are complex inter- and intra-relations between regressors (independent variables) andyield quantity (W) and quality (Q) in tobacco. For instance, nitrogen (N) increases W butdecreases Q; starch harms Q but soluble sugars promote it. The balance between (optimizationof) regressors is needed for simultaneous increase in W and Q components [higher potassium(K), medium nicotine and lower chlo...
متن کاملSpectral asymptotics of harmonic oscillator perturbed by bounded potential
Consider the operator T = − d dx2 + x2 + q(x) in L2(R), where real functions q, q′ and ∫ x 0 q(s) ds are bounded. In particular, q is periodic or almost periodic. The spectrum of T is purely discrete and consists of the simple eigenvalues {μn}n=0, μn < μn+1. We determine their asymptotics μn = (2n+1)+(2π) −1 ∫ π −π q( √ 2n + 1 sin θ) dθ+O(n−1/3).
متن کاملIntriguing Sets of Points of Q(2n, 2) \Q +(2n - 1, 2)
Intriguing sets of vertices have been studied for several classes of strongly regular graphs. In the present paper, we study intriguing sets for the graphs Γn, n ≥ 2, which are defined as follows. Suppose Q(2n, 2), n ≥ 2, is a nonsingular parabolic quadric of PG(2n, 2) and Q+(2n − 1, 2) is a nonsingular hyperbolic quadric obtained by intersecting Q(2n, 2) with a suitable nontangent hyperplane. ...
متن کاملThe Hermitian variety H(5,4) has no ovoid
The Hermitian variety H(5, 4) has no ovoid Jan De Beule Department of Pure Mathematics and Computer Algebra Ghent University Krijgslaan 281, S22 B 9000 Gent Belgium ([email protected], http://cage.ugent.be/∼jdebeule) (joint work with Klaus Metsch) We consider the Hermitian varieties H(2n + 1, q). An ovoid O is a set of points of H(2n + 1, q) such that every generator of H(2n + 1, q) meets ...
متن کامل